On the Relation of Continuous and Discrete Time Models for the State-Task Network Formulation
نویسندگان
چکیده
The relationship between discreteand continuous-time State Task Network (STN) representations is studied. We show that the continuous-time model of Maravelias and Grossmann (2003) is a generalization of the discrete-time model of Shah et al. (1993). More specifically, discrete-time models can be shown to be a special case of continuous-time models if two restrictions are imposed on the latter: a) fixed time grid, and b) processing times fixed multiples of the duration of the time period of the time grid.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملEffect of Stress-Fiber Inclusion on the Local Stiffness of Cell Cytoskeleton Probed by AFM Indentation: Insights from a Discrete Network Model
In this paper, we analyze the effect of stress-fiber inclusion on the stiffness of an actin random network. To do this, use a discrete random network model to analyze the elastic response of this system in terms of apparent Young’s modulus. First, we showed that for a flat-ended cylindrical AFM indenter the total indentation force has a linear relation with the indentation depth and the indente...
متن کاملDiscrete time robust control of robot manipulators in the task space using adaptive fuzzy estimator
This paper presents a discrete-time robust control for electrically driven robot manipulators in the task space. A novel discrete-time model-free control law is proposed by employing an adaptive fuzzy estimator for the compensation of the uncertainty including model uncertainty, external disturbances and discretization error. Parameters of the fuzzy estimator are adapted to minimize the estimat...
متن کاملOPTIMIZATION OF ENDURANCE TIME ACCELERATION FUNCTIONS FOR SEISMIC ASSESSMENT OF STRUCTURES
Numerical simulation of structural response is a challenging issue in earthquake engineering and there has been remarkable progress in this area in the last decade. Endurance Time (ET) method is a new response history based analysis procedure for seismic assessment and structural design in which structures are subjected to a gradually intensifying dynamic excitation and their seismic performanc...
متن کامل